Merge branch 'ebassi/for-master' into 'master'
authorEmmanuele Bassi <ebassi@gmail.com>
Fri, 4 Sep 2020 11:56:03 +0000 (11:56 +0000)
committerEmmanuele Bassi <ebassi@gmail.com>
Fri, 4 Sep 2020 11:56:03 +0000 (11:56 +0000)
commit749d0744da25d7bc29c38fd54f08c030fffe1032
tree90e500253571d012f2ab910dad919a6baa2eaae1
parent927c4abf23f45c8c2752f9a280f38d7a19dcbae4
parentf7f0bc036973bf37855df29283d47bbe115dacf4
Merge branch 'ebassi/for-master' into 'master'

Ebassi/for master

Closes #3118

See merge request GNOME/gtk!2527